def main : []i64 =
  [0]
  ++ loop s = []
     for _i < 2 do
       s ++ [0]
